プロセス代数とその応用⑩ LOTOS――実用指向のプロセス代数(応用編)